1. A short introduction to intuitionistic logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic mathematics. ; Mathematiques intuitionnistes. ; Intuitionistic mathematics ; fast ; (OCoLC)fst00977860 ;
![](/design/images/bookmore.png)
2. A short introduction to intuitionistic logic
پدیدآورنده : / Grigori Mints
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local
رده :
E-BOOK
![](/design/images/bookmore.png)
3. A short introduction to intuitionistic logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Brouwer meets Husserl
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : 1938. ; Phenomenology. ; Sequences (Mathematics) ; Intuitionistic mathematics. ; -1966. ; Husserl, Edmund, ; 1859-Brouwer, L. E. J. ; (Luitzen Egbertus Jan), ; 1881
![](/design/images/bookmore.png)
6. Brouwer meets Husserl
پدیدآورنده : / by Mark van Atten
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966,Husserl, Edmund, 1859-1938,Phenomenology,Sequences (Mathematics),Intuitionistic mathematics
رده :
B829
.
5
.
A88
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Closure properties and kripke models for fragments of heyting arithmetic
پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
![](/design/images/bookmore.png)
12. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
3
.
L28
Vol
.
873
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
15. Elements of intuitionism
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
D84
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Extensional Godel functional interpretation; a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
306
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Extensional Godel functional interpretation : a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
9
.
L8
1973
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Intensional mathematics
پدیدآورنده : SHAPIRO,STEWART
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Intuition and the Axiomatic Method
پدیدآورنده : \ edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy. ,Intuitionistic mathematics.,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
E-Book
,
![](/design/images/bookmore.png)